An Argument - Based Approa h to Reasoning with Spe i ityPhan Minh Dung

An Argument - Based Approa h to Reasoning with Spe

Modular Formal Spe i ation of Data and Behaviour

Abstra t. We propose a modular approa h to the formal spe i ation of the requirements on embedded systems. In this approa h, requirements on data are spe i ed as invariants on states. Requirements on behaviour are spe i ed assertionally by temporal logi formulae, restri ting the runs of the system. The proposed method is modular, be ause omponents an be spe i ed and analysed in isolation, and t...

Modal Specifications of Trace-Based Security Properties

We introdu e a multi-modal logi that ombines omplementary features of authenti ation logi s and tra e-based approa hes. Our logi ontains two kinds of modalities: impli it belief, whi h formalizes the view of an external agent reasoning about interleaved proto ol exe utions, and expli it belief, whi h uses awareness to model the resour e-bounded reasoning of the agents involved in the exe utions...

Argumentation for Practical Reasoning: An Axiomatic Approach

An argument system could be viewed as a pair of a set of argument and a binary attack relation between arguments. The semantics of argumentation rests on the acceptability of arguments and the structure of arguments and their attack relations. While there is a relatively good understanding of the acceptability of arguments, the same can not be said about their structure and attack relations. In...

Closure and Consistency Rationalities in Logic-Based Argumentation

Caminada and Amgoud have argued that logic-based argumentation systems should satisfy the intuitive and natural principles of logical closure and consistency. Prakken has developed this idea further for a richer logic. A question arises naturally whether a general structure guaranteeing the logical closure and consistency properties could be identified that is common for all underlying logics. ...